A Theory of Explicit Mathematics Equivalent to Id 1 a Theory of Explicit Mathematics Equivalent to Id 1
نویسندگان
چکیده
We show that the addition of name induction to the theory EETJ + (LEM-IN) of explicit elementary types with join yields a theory proof-theoretically equivalent to ID1.
منابع مشابه
A Theory of Explicit Mathematics Equivalent to ID1
We show that the addition of name induction to the theory EETJ + (LEM-IN) of explicit elementary types with join yields a theory proof-theoretically equivalent to ID1.
متن کاملA History of Selected Topics in Categorical Algebra I: From Galois Theory to Abstract Commutators and Internal Groupoids
This paper is a chronological survey, with no proofs, of a direction in categorical algebra, which is based on categorical Galois theory and involves generalized central extensions, commutators, and internal groupoids in Barr exact Mal’tsev and more general categories. Galois theory proposes a notion of central extension, and motivates the study of internal groupoids, which is then used as an a...
متن کاملDuals of Some Constructed $*$-Frames by Equivalent $*$-Frames
Hilbert frames theory have been extended to frames in Hilbert $C^*$-modules. The paper introduces equivalent $*$-frames and presents ordinary duals of a constructed $*$-frame by an adjointable and invertible operator. Also, some necessary and sufficient conditions are studied such that $*$-frames and ordinary duals or operator duals of another $*$-frames are equivalent under these conditions. W...
متن کاملNonstandard explicit third-order Runge-Kutta method with positivity property
When one solves differential equations, modeling physical phenomena, it is of great importance to take physical constraints into account. More precisely, numerical schemes have to be designed such that discrete solutions satisfy the same constraints as exact solutions. Based on general theory for positivity, with an explicit third-order Runge-Kutta method (we will refer to it as RK3 method) pos...
متن کاملFUZZY ORDERED SETS AND DUALITY FOR FINITE FUZZY DISTRIBUTIVE LATTICES
The starting point of this paper is given by Priestley’s papers, where a theory of representation of distributive lattices is presented. The purpose of this paper is to develop a representation theory of fuzzy distributive lattices in the finite case. In this way, some results of Priestley’s papers are extended. In the main theorem, we show that the category of finite fuzzy Priestley space...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001